<html>
  <body>
    <p>
      Defines some annotations that are used within the Android system, either
      for the core libraries or for testing purposes.
    </p>
  </body>
</html>
